179 results on '"Stephen L. Bloom"'
Search Results
2. Cycle-Free Finite Automata in Partial Iterative Semirings.
3. Regular and Algebraic Words and Ordinals.
4. Completing Categorical Algebras.
5. A Note on Ordinal DFAs.
6. Axioms for Regular Words: Extended Abstract.
7. Algebraic Linear Orderings.
8. Algebraic Ordinals.
9. A Mezei-Wright theorem for categorical algebras.
10. Axiomatizing rational power series over natural numbers.
11. Iteration Algebras Are Not Finitely Axiomatizable. Extended Abstract.
12. Partial Conway and Iteration Semirings.
13. On Algebras with Iteration.
14. The equational theory of regular words.
15. Iteration 2-Theories: Extended Abstract.
16. Axiomatizing omega and omega-op powers of words.
17. Deciding whether the frontier of a regular tree is scattered.
18. An Extension Theorem with an Application to Formal Tree Series.
19. Nonfinite Axiomatizability of Shuffle Inequalities.
20. Free Shuffle Algebras in Language Varieties (Extended Abstract).
21. Unique, guarded fixed points in an additive setting: Extended Abstract.
22. Solving Polynomial Fixed Point Equations.
23. Long words: the theory of concatenation and omega-power.
24. Iteration 2-theories.
25. Some Quasi-Varieties of Iteration Theories.
26. Iteration Theories - The Equational Logic of Iterative Processes
27. Iteration Algebras (Extended Abstract).
28. Program Correctness and Matricial Iteration Theories.
29. Shuffle binoids.
30. Varieties Generated by Languages with Poset Operations.
31. Axiomatizing Shuffle and Concatenation in Languages.
32. The Equational Logic of Fixed Points (Tutorial).
33. Algebraic Linear Orderings
34. A Note on Ordinal DFAs
35. Free Shuffle Algebras in Language Varieties.
36. Fixed-Point Operations on ccc's. Part I.
37. Matrices, machines and behaviors.
38. Algebraic Ordinals
39. Some Equational Laws of Initiality in 2CCC's.
40. Axiomatizing rational power series
41. Partial Conway and iteration semirings
42. Matrix and Matricial Iteration Theories, Part I.
43. Equational Axioms for Regular Sets.
44. Iteration Theories of Synchronization Trees
45. Iteration Algebras.
46. Floyd-Hoare Logic in Iteration Theories.
47. A Note on Guarded Theories.
48. Cayley iff Stone.
49. Two Axiomatizations of a Star Semiring Quasi-Variety.
50. A Note on Ordinal DFAs
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.